Neil Walkinshaw: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Advances in Computers] Volume 91 || Reverse-Engineering Software Behavior

Walkinshaw, Neil

Year:

2013

Language:

english

File:

PDF, 1.83 MB

english, 2013

2

Automated discovery of state transitions and their functions in source code

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 812 KB

english, 2008

3

[IEEE 2015 IEEE/ACM 4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) - Florence, Italy (2015.5.17-2015.5.17)] 2015 IEEE/ACM 4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering - Black-Box Test Generation from Inferred Models

Papadopoulos, Petros, Walkinshaw, Neil

Year:

2015

Language:

english

File:

PDF, 370 KB

english, 2015

4

[Undergraduate Topics in Computer Science] Software Quality Assurance || Measurement

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 664 KB

english, 2017

5

[Undergraduate Topics in Computer Science] Software Quality Assurance || Software Inspections, Code Reviews, and Safety Arguments

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 469 KB

english, 2017

6

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - How Do Automatically Generated Unit Tests Influence Software Maintenance?

Shamshiri, Sina, Rojas, Jose Miguel, Galeotti, Juan Pablo, Walkinshaw, Neil, Fraser, Gordon

Year:

2018

Language:

english

File:

PDF, 219 KB

english, 2018

7

Validation and discovery from computational biology models

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe

Journal:

Year:

2008

Language:

english

File:

PDF, 923 KB

english, 2008

8

TAIC-PART 2009 – Testing: Academic & Industrial Conference – Practice And Research Techniques: Special Section Editorial

Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

9

The preparation and properties of some iridium-substituted difluorophosphines: synthesis of some PF2-bridged heterometal complexes

E.A.V. Ebsworth, Robert O. Gould, Neil T. McManus, David W.H. Rankin, Malcolm D. Walkinshaw, John D. Whitelock

Journal:

Journal of Organometallic Chemistry

Year:

1983

Language:

english

File:

PDF, 1.03 MB

english, 1983

10

Improving dynamic software analysis by applying grammar inference principles

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

Journal:

Journal of Software: Evolution and Process

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

11

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Behaviourally Adequate Software Testing

Fraser, Gordon, Walkinshaw, Neil

Year:

2012

Language:

english

File:

PDF, 319 KB

english, 2012

12

STAMINA: a competition to encourage the development and assessment of software model inference techniques

Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont

Journal:

Empirical Software Engineering

Year:

2013

Language:

english

File:

PDF, 812 KB

english, 2013

13

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications

Adra, Salem F., Kiran, Mariam, McMinn, Phil, Walkinshaw, Neil

Year:

2011

Language:

english

File:

PDF, 486 KB

english, 2011

14

[ACM Press the 12th annual conference - Portland, Oregon, USA (2010.07.07-2010.07.11)] Proceedings of the 12th annual conference on Genetic and evolutionary computation - GECCO '10 - Superstate identification for state machines using search-based clustering

Hall, Mathew, McMinn, Phil, Walkinshaw, Neil

Year:

2010

Language:

english

File:

PDF, 1.28 MB

english, 2010

15

[ACM Press the Eighth International Workshop - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the Eighth International Workshop on Dynamic Analysis - WODA '10 - Using compression algorithms to support the comprehension of program traces

Walkinshaw, Neil, Afshan, Sheeva, McMinn, Phil

Year:

2010

Language:

english

File:

PDF, 1.20 MB

english, 2010

16

[IEEE 2012 IEEE International Conference on Software Maintenance (ICSM) - Trento, Italy (2012.09.23-2012.09.28)] 2012 28th IEEE International Conference on Software Maintenance (ICSM) - Supervised software modularisation

Hall, Mathew, Walkinshaw, Neil, McMinn, Phil

Year:

2012

Language:

english

File:

PDF, 557 KB

english, 2012

17

[IEEE 2009 16th Working Conference on Reverse Engineering - Lille, France (2009.10.13-2009.10.16)] 2009 16th Working Conference on Reverse Engineering - Computing the Structural Difference between State-Based Models

Bogdanov, Kirill, Walkinshaw, Neil

Year:

2009

Language:

english

File:

PDF, 398 KB

english, 2009

18

[IEEE 2013 20th Working Conference on Reverse Engineering (WCRE) - Koblenz, Germany (2013.10.14-2013.10.17)] 2013 20th Working Conference on Reverse Engineering (WCRE) - Inferring Extended Finite State Machine models from software executions

Walkinshaw, Neil, Taylor, Ramsay, Derrick, John

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

19

[IEEE 2007 IEEE International Conference on Software Maintenance - Paris, France (2007.10.2-2007.10.5)] 2007 IEEE International Conference on Software Maintenance - Feature Location and Extraction using Landmarks and Barriers

Walkinshaw, Neil, Roper, Marc, Wood, Murray

Year:

2007

Language:

english

File:

PDF, 278 KB

english, 2007

20

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Balanced FSM Generation for Empirical Studies

Salahuddin, Sarah, Bogdanov, Kirill, Walkinshaw, Neil

Year:

2008

File:

PDF, 231 KB

2008

21

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Inferring Finite-State Models with Temporal Constraints

Walkinshaw, Neil, Bogdanov, Kirill

Year:

2008

Language:

english

File:

PDF, 173 KB

english, 2008

22

[IEEE 14th Working Conference on Reverse Engineering (WCRE 2007) - Vancouver, BC, Canada (2007.10.28-2007.10.31)] 14th Working Conference on Reverse Engineering (WCRE 2007) - Reverse Engineering State Machines by Interactive Grammar Inference

Walkinshaw, Neil, Bogdanov, Kirill, Holcombe, Mike, Salahuddin, Sarah

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

23

Inferring extended finite state machine models from software executions

Walkinshaw, Neil, Taylor, Ramsay, Derrick, John

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 4.06 MB

english, 2016

24

[ACM Press the 9th International Conference - Baltimore, Maryland (2013.10.09-2013.10.09)] Proceedings of the 9th International Conference on Predictive Models in Software Engineering - PROMISE '13 - Using evidential reasoning to make qualified predictions of software quality

Walkinshaw, Neil

Year:

2013

Language:

english

File:

PDF, 554 KB

english, 2013

25

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure

Walkinshaw, Neil, Bogdanov, Kirill

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.65 MB

english, 2013

26

[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Model Inference In Testing - MIIT '10 - A framework for the competitive evaluation of model inference techniques

Walkinshaw, Neil, Bogdanov, Kirill, Damas, Christophe, Lambeau, Bernard, Dupont, Pierre

Year:

2010

Language:

english

File:

PDF, 269 KB

english, 2010

27

[IEEE 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT) - Bremen, Germany (2015.9.27-2015.9.28)] 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT) - Visualising software as a particle system

Scarle, Simon, Walkinshaw, Neil

Year:

2015

Language:

english

File:

PDF, 7.41 MB

english, 2015

28

[IEEE 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Victoria, BC, Canada (2014.9.29-2014.10.3)] 2014 IEEE International Conference on Software Maintenance and Evolution - Establishing the Source Code Disruption Caused by Automated Remodularisation Tools

Hall, Mathew, Khojaye, Muhammad Ali, Walkinshaw, Neil, McMinn, Phil

Year:

2014

Language:

english

File:

PDF, 731 KB

english, 2014

29

[IEEE 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Gaithersbury, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - An evidential reasoning approach for assessing confidence in safety evidence

Nair, Sunil, Walkinshaw, Neil, Kelly, Tim, de la Vara, Jose Luis

Year:

2015

Language:

english

File:

PDF, 1.37 MB

english, 2015

30

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Choreography-Based Analysis of Distributed Message Passing Programs

Taylor, Ramsay, Tuosto, Emilio, Walkinshaw, Neil, Derrick, John

Year:

2016

Language:

english

File:

PDF, 1005 KB

english, 2016

31

Assessing and generating test sets in terms of behavioural adequacy

Fraser, Gordon, Walkinshaw, Neil

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 2.06 MB

english, 2015

32

Design of nucleotide-mimetic and non-nucleotide inhibitors of the translation initiation factor eIF4E: Synthesis, structural and functional characterisation

Soukarieh, Fadi, Nowicki, Matthew W., Bastide, Amandine, Pöyry, Tuija, Jones, Carolyn, Dudek, Kate, Patwardhan, Geetanjali, Meullenet, François, Oldham, Neil J., Walkinshaw, Malcolm D., Willis, Anne E

Journal:

European Journal of Medicinal Chemistry

Year:

2016

Language:

english

File:

PDF, 2.43 MB

english, 2016

33

[IEEE 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Raleigh, NC, USA (2016.10.2-2016.10.7)] 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Inferring Computational State Machine Models from Program Executions

Walkinshaw, Neil, Hall, Mathew

Year:

2016

Language:

english

File:

PDF, 710 KB

english, 2016

34

[IEEE 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Raleigh, NC, USA (2016.10.2-2016.10.7)] 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Data and Analysis Code for GP EFSM Inference

Hall, Mathew, Walkinshaw, Neil

Year:

2016

Language:

english

File:

PDF, 94 KB

english, 2016

35

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Uncertainty-Driven Black-Box Test Data Generation

Walkinshaw, Neil, Fraser, Gordon

Year:

2017

Language:

english

File:

PDF, 679 KB

english, 2017

36

[Undergraduate Topics in Computer Science] Software Quality Assurance ||

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 3.58 MB

english, 2017

37

[Undergraduate Topics in Computer Science] Software Quality Assurance || Planning Activities and Predicting Costs

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 353 KB

english, 2017

38

[Undergraduate Topics in Computer Science] Software Quality Assurance || Managing Requirements and Code

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 742 KB

english, 2017

39

[Undergraduate Topics in Computer Science] Software Quality Assurance || Software Development Processes and Process Improvement

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

40

[Undergraduate Topics in Computer Science] Software Quality Assurance || Testing

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 681 KB

english, 2017

41

[Undergraduate Topics in Computer Science] Software Quality Assurance || What Is Software Quality, and Why Does it Matter?

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 279 KB

english, 2017

42

[Undergraduate Topics in Computer Science] Software Quality Assurance || Introduction

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 101 KB

english, 2017

43

[Undergraduate Topics in Computer Science] Software Quality Assurance || Conclusions

Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 123 KB

english, 2017

44

Predicting Postpartum Hemorrhage (PPH) during Cesarean Delivery Using the Leicester PPH Predict Tool: A Retrospective Cohort Study

Dunkerton, Suzanna, Jeve, Yadava, Walkinshaw, Neil, Breslin, Eamonn, Singhal, Tanu

Journal:

American Journal of Perinatology

Year:

2017

Language:

english

File:

PDF, 491 KB

english, 2017

45

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Using Segment-Based Alignment to Extract Packet Structures from Network Traces

Esoul, Othman, Walkinshaw, Neil

Year:

2017

Language:

english

File:

PDF, 17.47 MB

english, 2017

46

Effectively Incorporating Expert Knowledge in Automated Software Remodularisation

Hall, Mathew, Walkinshaw, Neil, McMinn, Phil

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 1009 KB

english, 2018

47

[ACM Press the 14th Workshop in Primary and Secondary Computing Education - Glasgow, Scotland, Uk (2019.10.23-2019.10.25)] Proceedings of the 14th Workshop in Primary and Secondary Computing Education on - WiPSCE'19 - Improving Scratch Programming with CRC-Card Design

Keller, Sebastian, Krafft, Maren, Fraser, Gordon, Walkinshaw, Neil, Otto, Korbinian, Sabitzer, Barbara

Year:

2019

Language:

english

File:

PDF, 346 KB

english, 2019

48

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Improving Automated GUI Testing by Learning to Avoid Infeasible Tests

Walkinshaw, Neil

Year:

2020

File:

PDF, 2.77 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски